/*
 * SourceLocation.java
 *
 * Created on August 2, 2004, 1:04 PM
 */

package org.infoset.xml;

import java.net.URI;
/**
 *
 * @author  R. Alexander Milowski
 */
public interface SourceLocation extends Location {
   
   URI getSourceURI();
   
}
